conditional statements and converse